Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
301	19 Implementing Higher-Order Functions This chapter is about writing higher-order procedures—that is, procedures that implement higher-order functions. We are going to study the implementation of every, keep, and Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:18 Lisp programming language Procedural programming languages Functional programming Functional languages Data types Fortran Lisp Function Cons Computing Software engineering Computer programming
302	The Future of Copper Beyond 10G While 10G technologies make great strides in the market, some data centers are already evaluating their networks migration to even higher-speed Ethernet applications. As bandwidthhungry se Add to Reading List Source URL: www.cablenetsystems.com Language: English - Date: 2013-06-28 14:37:11 Networking hardware Computing Network architecture Structured cabling Category 6 cable ISO/IEC 11801 10 Gigabit Ethernet Gigabit Ethernet Ethernet over twisted pair Ethernet OSI protocols Signal cables
303	Functional Programming Patterns in Scala and Clojure Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-11-12 17:51:57 Recursion Programming idioms Subroutines Higher-order functions Computability theory Fold Tail call Iteration Functional programming Computer programming Software engineering Computing
304	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
305	Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨ Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-07-22 17:21:33 Prolog Functional languages Procedural programming languages Higher-order functions Recursion Assertion Logic programming XS ML Software engineering Computer programming Computing
306	Cleaning up Erlang Code is a Dirty Job but Somebody’s Gotta Do It Thanassis Avgerinos Konstantinos Sagonas Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2009-09-15 01:54:46 Higher-order functions Erlang programming language Code refactoring Extreme programming Erlang Ejabberd Filter CouchDB List comprehension Computing Software engineering Computer programming
307	The IT Help Desk in Higher Education: Results of the 2007 ECAR Survey Add to Reading List Source URL: clac.union.edu Language: English - Date: 2008-07-18 10:15:36 Technology ICME cyberinfrastructure Network for Earthquake Engineering Simulation E-Science Cyberinfrastructure Computing
308	BSc (Hons) Forensic Computing Programme Specification Primary Purpose: Course management, monitoring and quality assurance. Add to Reading List Source URL: psd.docstore.port.ac.uk Language: English - Date: 2014-10-13 05:40:08 E-learning Key Skills Qualification Open University Information and communication technologies in education Westminster International University in Tashkent Aditya College Education Association of Commonwealth Universities Quality Assurance Agency for Higher Education
309	Dynamic Radiosity using Higher Order Functions Bases and Temporal Coherence Biri Venceslas Michelin Sylvain Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2003-01-03 05:13:02 Radiosity Electromagnetic radiation Rendering Computing Global illumination Ray tracing Algorithm View factor False radiosity 3D computer graphics Heat transfer Mechanical engineering
310	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory

UPDATE